Testing Run-time Evolving Systems
نویسندگان
چکیده
Computer systems undergoing runtime evolution, such as online software-upgrades or architectural reconfigurations, must cope with changes that happen during the system execution and that might be unpredictable at design-time. The evolution requires a sequence of transition phases, where the system enters configurations emerging at runtime that could not have been validated in advance. Reasoning about such emerging behavior is difficult because previously-established system invariants do not hold, changes are implemented by both human and software agents, and externally-imposed deadlines might determine the success of the evolution. The workgroup has discussed three concrete scenarios for runtime evolution and has identified a set of challenges that are not adequately addressed by current testing approaches.
منابع مشابه
Potentials of Evolving Linear Models in Tracking Control Design for Nonlinear Variable Structure Systems
Evolving models have found applications in many real world systems. In this paper, potentials of the Evolving Linear Models (ELMs) in tracking control design for nonlinear variable structure systems are introduced. At first, an ELM is introduced as a dynamic single input, single output (SISO) linear model whose parameters as well as dynamic orders of input and output signals can change through ...
متن کاملARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems
An increasingly important requirement for modern software-intensive systems is the ability of evolving at run-time, to address the need to dynamically add/remove features, as well as to protect the system from incoming attacks or failures. Due to the new requirement of dynamicity, portions of the system can be added and removed at run-time so giving rise to dynamic, evolving, and unpredictable ...
متن کاملAn Empirical Analysis of China’s International Reserves Demand Function
The study aims to estimate an international reserves demand model for China using economic growth, propensity to import, real effective exchange rate and trade openness variables for quarterly period spanning from 1985Q1 to 2014Q4.The bounds testing technique to cointegration is used to test for a long run relationship, while the autoregressive distributed lag approach is used to estimate short...
متن کاملAutomatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems
Distributed real-time systems are of one important type of real-time systems. They are usually characterized by both reactive and real-time factors and it has long been recognized that how to automatically check such systems’ correctness at run time is still an unaddressed problem. As one of the main solutions, test oracle is a method usually used to check whether the system under test has beha...
متن کاملIs the Role of Physicians Really Evolving Due to Non-physician Clinicians Predominance in Staff Makeup in Sub-Saharan African Health Systems?; Comment on “Non-physician Clinicians in Sub-Saharan Africa and the Evolving Role of Physicians”
Health workforce shortages in Sub-Saharan Africa are widely recognized, particularly of physicians, leading the training and deployment of Non-physician clinicians (NPCs). The paper by Eyal et al provides interesting and legitimate viewpoints on evolving role of physicians in context of decisive increase of NPCss in Sub-Saharan Africa. Certainly, in short or mid-term, NPCs will continue to be a...
متن کامل